SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness
SkillSpec：面向 Agent 技能正确性的意图掩码规格推理
🧭 Agent 技能质量保证 · 规格推理
Beihang University
将 Agent 技能正确性形式化为规格推理，用意图掩码多视图联合检测语义与实现缺陷，真实技能库精度 61.2%
📌 工作参考价值（4 点）
- 在构建内部 Agent 工具/技能库时，将每个技能的描述、参数、代码实现纳入统一图索引，定期做“声明意图 vs 实现行为”一致性检查，拦截 LLM 调用错误工具导致的静默失败。
- 可借鉴 intent mask 的多视图推理：验证技能或工具描述时不要一次性灌入全部上下文，而是分别从整体、血缘、邻居、局部四个视角生成规格，再联合推理，平衡上下文偏置与推断不足。
- 对技能/工具变更接入沙箱自动验证，自动生成用例检查声明的输入输出约束，能可靠覆盖代码节点缺陷；纯文本节点需额外规则或改写为结构化规格。
- 61.2% 精度可作为发布流水线的预筛卡点，不能全自动替代人工复核，适合在技能库规模化前拦截多数边界缺陷。